501. Tools and algorithms for the construction and analysis of systems :
پدیدآورنده : Tomáš Vojnar, Lijun Zhang (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer software-- Verification, Congresses.,System analysis, Congresses.,System design, Congresses.,Computer software-- Verification.,System analysis.,System design.
رده :
QA76
.
9
.
S88
502. Topics in analytical political economy /
پدیدآورنده : edited by Melvin Hinich, William A. Barnett.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Economic policy, Congresses.,Economics, Congresses.,Political science, Congresses.,BUSINESS & ECONOMICS-- Economics-- General.,BUSINESS & ECONOMICS-- Reference.,Economic policy.,Economics.,Economics.,Economie.,Political science.,Wiskundige economie.
رده :
HB74
.
P65
T66
2007eb
503. Topology Design of Structures
پدیدآورنده : edited by Martin Philip Bendsøe, Carlos A. Mota Soares.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Structural optimization -- Mathematics -- Congresses.,Structural optimization -- Mathematics.
رده :
TA658
.
8
E358
1993
504. Topology : theory and applications
پدیدآورنده : edited by A. Csaszar
کتابخانه: المكتبة المركزية ومركز المعلومات (خراسان رضوی)
موضوع : Congresses ، Topology,Congresses ، Set theory
رده :
QA
611
.
A1
T66
1993
505. Truth, reference, and realism /
پدیدآورنده : edited by Zsolt Novák and András Simonyi
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Realism, Congresses,Reference (Philosophy), Congresses,Truth, Congresses
رده :
BD171
.
O94
2005
506. Ultra-wideband short-pulse electromagnetics 10 /
پدیدآورنده : Frank Sabath, Eric L. Mokole, editors
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Broadband communication systems, Congresses.,Signal processing, Congresses.,Ultra-wideband radar, Congresses.
رده :
TK5103
.
4
507. Ultrafilters across mathematics : International Congress, ULTRAMATH 2008 : Applications of Ultrafilters and Ultraproducts in Mathematics, June 1-7, 2008, Pisa, Italy
پدیدآورنده : Vitaly Bergelson ... ]et al.[, editors
کتابخانه: (طهران)
موضوع : Congresses ، Ultrafilters )Mathematics(,Congresses ، Combinatorial set theory,Congresses ، Ramsey theory
رده :
QA
9
.
7
.
U48
2008
508. Universal access in human-computer interaction :
پدیدآورنده : Margherita Antona, Constantine Stephanidis (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Human-computer interaction, Congresses.,Virtual reality, Congresses.,Human-computer interaction.,Virtual reality.
رده :
QA76
.
9
.
H85
509. Verification of digital and hybrid systems
پدیدآورنده : edited by M. Kemal Inan, Robert P. Kurshan.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems -- Verification -- Congresses.,Computer systems -- Verification.,Logiciels -- Vérification
رده :
QA76
.
76
.
V47
E358
2000
510. Verification of infinite-state systems with applications to security /
پدیدآورنده : edited by Edmund Clarke, Marius Minea and Ferucio Laurenţiu Ţiplea.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer security, Congresses.,Computer software-- Verification, Congresses.,System theory-- Mathematical models, Congresses.,System theory-- Security measures, Congresses.,Computer security.,Computer software-- Verification.,COMPUTERS-- Internet-- Security.,COMPUTERS-- Networking-- Security.,COMPUTERS-- Security-- General.,System theory-- Mathematical models.
رده :
Q295
.
N38
2005eb
511. Web and internet economics :
پدیدآورنده : George Christodoulou, Tobias Harks (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks-- Economic aspects, Congresses.,Electronic commerce, Congresses.,Game theory, Congresses.,Internet-- Economic aspects, Congresses.,Computational complexity.,Computer science.,Computer software.
رده :
QA76
.
9
.
A43
512. Wireless and satellite systems :
پدیدآورنده : Min Jia, Qing Guo, Weixiao Meng (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Wireless communication systems, Congresses.,Wireless communication systems.
رده :
TK5103
.
2
514. 9041127372 (acid-free p
پدیدآورنده : Parviz Owsia.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
516. 0203931254 (ebook)
پدیدآورنده : edited by Nancy Snow, Philip M. Taylor.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
517. emam,BL
پدیدآورنده : \ , Katharina Hranitzky... [et al],\ Colonel Trevor N. Dupuy
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
518. f-sultanmuhamad
پدیدآورنده : edited by Joseph Chinyong Liow and Ralf Emmers.
کتابخانه: كتابخانه مجلس شوراي اسلامى (طهران)
موضوع :
520. 1997 3rd International Conference on Algorithms and Architectures for Parallel Processing :
پدیدآورنده : editors Andrzej Goscinski, Michael Hobbs, Wanlei Zhou ; sponsors Dekin University, Faculty of Science and Technology Deakin University, IEEE Victorian Section.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers), Congresses.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Parallel processing (Electronic computers)
رده :
QA76
.
58
.
I528
1997
